Stepwise Re nement of Data Flow Architectures
نویسندگان
چکیده
Software and hardware architectures are prone to modi cations We demon strate how a mathematically founded re nement calculus for a class of ar chitectures namely data ow networks can be used to modify a system in a provably correct way The calculus consists of basic rules to add and to remove components and channels to a system
منابع مشابه
Stepwise Refinement of Data Flow Architectures
Software and hardware architectures are prone to modi cations We demon strate how a mathematically founded re nement calculus for a class of ar chitectures namely data ow networks can be used to modify a system in a provably correct way The calculus consists of basic rules to add and to remove components and channels to a system
متن کاملArchitecture Re nement
|A method is presented for the stepwise re nement of an abstract architecture into a relatively correct lower-level architecture that is intended to implement it. A re nement step involves the application of a prede ned renement pattern that provides a routine solution to a standard architectural design problem. A pattern contains an abstract architecture schema and a more detailed schema inten...
متن کاملFormal Development of Java Based Web Parallel Applications
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a rapid penetration of Java programs into commercial products is that software engineers do not have any methodology and have to develop complex parallel applications. Here, we present a formal devel...
متن کاملIntegrating Task and Data Parallelism with the Collective Communication Archetype
A parallel program archetype aids in the develop ment of reliable e cient parallel applications with common computation communication structures by providing stepwise re nement methods and code li braries speci c to the structure The methods and li braries help in transforming a sequential program into a parallel program via a sequence of re nement steps that help maintain correctness while re ...
متن کاملProgramming Research Group ON REFINEMENT AND FOOPS
FOOPS is a concurrent object-oriented language. Based on FOOPS operational semantics, we de ne a notion of re nement, and an associated proof technique. The use of re nement for stepwise formal development of programs in FOOPS is illustrated by examples involving memory cells, and di erent implementations of bu ers.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997